Automatic Analysis of the NRL Pump

نویسندگان

  • Ruggero Lanotte
  • Andrea Maggiolo-Schettini
  • Simone Tini
  • Angelo Troina
  • Enrico Tronci
چکیده

We define a probabilistic model for the NRL Pump and using FHP-murφ show experimentally that there exists a probabilistic covert channel whose capacity depends on various NRL Pump parameters (e.g. buffer size, number of samples in the moving average, etc).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Covert Channel Analysis of a Multilevel Secure Component

The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrading average time performances. We define a probabilistic model for the NRL Pump and show how a probabilistic model checker (FHP-murφ) can be used to estimate the capacity of a probabilistic covert channel in the NRL Pump. We are...

متن کامل

A Case Study Of Two Nrl Pump Prototypes

As computer systems become more open and interconnected, the need for reliable and secure communication also increases. The NRL Pump was introduced to balance the requirements of reliability, congestion control, fairness, and good performance against those of threats from covert channels and denial of service attacks. In this paper, we describe two prototype e orts. One implements the Pump at t...

متن کامل

Impeller and volute design and optimization of the centrifugal pump with low specific speed in order to extract performance curves

Now a day centrifugal pumps are vital components of industries. Certainly, one of the most important specifications of centrifugal pumps are the performance curves. In the present work, performance curves of a centrifugal pumps are obtained by Computational fluid dynamics (CFD) and as an outcome, CFD results compare by practical curves. At the first step impeller and volute are designed with tw...

متن کامل

Design and Assurance Strategy for the NRL Pump

Developing a trustworthy system is difficult because the developer must construct a persuasive argument that the system conforms to its critical requirements. This assurance argument, as well as the software and hardware, must be evaluated by an independent certification team. In this paper, we present the external requirements and logical design of a specific trusted device, the NRL Pump, and ...

متن کامل

The Mediating Role of Automatic Thoughts in Relationship Between Attachment Style with Sexual Dysfunction and Marital Commitment: A Path Analysis

Background: This article explores the effects of attachment style and automatic thoughts on sexual dysfunction and marital commitment, using the path analysis model. This descriptive-correlational study was conducted on 375 married female students in Shahid Chamran University of Ahvaz, Iran, from 2016 to 2017. Methods: According to Morgan and Jersey table and the statistical population (375 pe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 99  شماره 

صفحات  -

تاریخ انتشار 2004